Перевод: с английского на русский

с русского на английский

находить доказательства

См. также в других словарях:

  • Доказательства уголовные — Под уголовными Д. подразумеваются те фактические данные, которые служат основанием к заключению о том, совершено ли преступление и виновно ли в нем данное лицо. Всякая эпоха имеет свой метод обнаружения на уголовном суде материальной истины, свою …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • Доказательства вообще — Доказательство (Demonstratio) есть выведение истинности какого либо положения (на основании силлогистических законов) из других положений. Доказывать можно лишь положения (понятия могут быть определяемы, факты объясняемы и показываемы), и притом… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …   Википедия

  • АНТИЧНАЯ ФИЛОСОФИЯ —     АНТИЧНАЯ ФИЛОСОФИЯ исторически первая форма европейской теоретической мысли, ставшая основой развития и культурным горизонтом для всех последующих форм мышления, возникавших в рамках интеллектуального пространства средневековой, новой и… …   Философская энциклопедия

  • Искусственный интеллект (artificial intelligence) — В самом широком смысле И. и. это абстрактная теория челов., животного и машинного познания. Конечная цель ее развития создание единой теория познания. Как теорет. психология. И. и. представляет собой продолжение исследовательской программы,… …   Психологическая энциклопедия

  • Коэффициент корреляции — (Correlation coefficient) Коэффициент корреляции это статистический показатель зависимости двух случайных величин Определение коэффициента корреляции, виды коэффициентов корреляции, свойства коэффициента корреляции, вычисление и применение… …   Энциклопедия инвестора

  • МАТЕМАТИКИ ИСТОРИЯ — Самой древней математической деятельностью был счет. Счет был необходим, чтобы следить за поголовьем скота и вести торговлю. Некоторые первобытные племена подсчитывали количество предметов, сопоставляя им различные части тела, главным образом… …   Энциклопедия Кольера

  • Архимед — У этого термина существуют и другие значения, см. Архимед (значения). Архимед Αρχιμήδης …   Википедия

  • АРХИМЕД — (ок. 287 212 до н.э.), величайший древнегреческий математик и механик. АРХИМЕД Жизнь. Уроженец греческого города Сиракузы на острове Сицилия, Архимед был приближенным управлявшего городом царя Гиерона (и, вероятно, его родственником). Возможно,… …   Энциклопедия Кольера

  • Теорема Пифагора — Теорема Пифагора  одна из основополагающих теорем евклидовой геометрии, устанавливающая соотношение между сторонами прямоугольного треугольника. Содержание 1 …   Википедия

  • ЕСТЕСТВЕННАЯ ТЕОЛОГИЯ — [лат. theologia naturalis], термин, очерчивающий особую область философско богословских размышлений и исследований, общей характерной чертой к рых является признание в качестве отправного факта того, что всякий человек естественным образом… …   Православная энциклопедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»